Adjunctions in Monoids

نویسنده

  • Vladimir MOLOTKOV
چکیده

be morphisms of monoids, considered as functors. Let the functor f is left adjoint to the functor g. Is it true then that f (or, what is the same, g) is always an isomorphism? In [1], p.136, this question was posed as an open question. Here I answer this question and the answer is no. To prove this, I will construct a Birkhoff variety of algebras, which is naturally equivalent to the category of adjunctions in monoids, and consider its initial object which is a monoid generated by 2 × N free variables subject to a certain set of relations. An application of M. H. A. Newman’s reduction theorem ([4], cited by [3]) permits one to describe the canonical form of elements in the monoid and, in particular, to negatively answer the question posed. Let φ:N −→ M, (2)

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dual Adjunctions Between Algebras and Coalgebras

It is shown that the dual algebra functor from coalgebras to algebras has a left adjoint even if the base ring is not a field but an arbitrary commutative ring with 1. This result is proved as a corollary to a more general theorem on adjunctions between comonoids and monoids over suitable symmetric monoidal categories. MSC 2000: Primary 16B50, Secondary 18A40

متن کامل

Divisorial rings and Cox rings

1 Preliminaries on monoids Definition 1.1. An Abelian monoid is a set with a binary, associative, and commutative operation which has a neutral element. It will often be called just a monoid in this manuscript because we will not deal with non-commutative monoids. A monoid M is called • finitely generated if there is a finite set of generators, or equivalently if there is a surjection of monoid...

متن کامل

Self-Adjunctions and Matrices

It is shown that the multiplicative monoids of Temperley-Lieb algebras are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the Kronecker product of matrices. Thereby one obtains a representation of braid groups in matrices, which,...

متن کامل

Hopf Monoids in semi-additive Varieties

We study Hopf monoids in entropic semi-additive varieties (equivalently, entropic Jónsson-Tarski varieties and categories of semimodules over a commutative semiring, respectively) with an emphasis on adjunctions related to the enveloping monoid functor and the primitive element functor. These investigations are based on the concept of the abelian core of a semi-additive variety variety and its ...

متن کامل

Probabilities, distribution monads, and convex categories

Probabilities are understood abstractly as forming a monoid in the category of effect algebras. They can be added, via a partial operation, and multiplied. This generalises key properties of the unit interval [0, 1]. Such effect monoids can be used to define a probability distribution monad, again generalising the situation for [0, 1]-probabilities. It will be shown that there are translations ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005